@article{24143,
  author  = {Murata, T.},
  journal = {Proceedings of the IEEE},
  title   = {Petri nets: Properties, analysis and applications},
  year    = {1989},
  volume  = {77},
  number  = {4},
  pages   = {541-580},
  doi     = {10.1109/5.24143}
}
@article{7426418,
  author  = {Chen, YuFeng and Li, ZhiWu and Barkaoui, Kamel and Wu, NaiQi and Zhou, MengChu},
  journal = {IEEE Transactions on Systems, Man, and Cybernetics: Systems},
  title   = {Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs},
  year    = {2017},
  volume  = {47},
  number  = {2},
  pages   = {364-379},
  doi     = {10.1109/TSMC.2016.2521833}
}
@article{wu:hal-00735482,
  title       = {{Petri net modeling and cycle-time analysis of dual-arm cluster tools with wafer revisiting}},
  author      = {Wu, Naiqi and Chu, Feng and Chu, Chengbin and Zhou, Mengchu},
  url         = {https://hal.science/hal-00735482},
  journal     = {{IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans}},
  publisher   = {{Institute of Electrical and Electronics Engineers}},
  volume      = {43},
  number      = {1},
  pages       = {196--207},
  year        = {2013},
  month       = Jan,
  doi         = {10.1109/TSMCA.2012.2187890},
  keywords    = {Cluster tool ; Petri nets (PNs) ; discrete event system ; scheduling ; semiconductor manufacturing},
  hal_id      = {hal-00735482},
  hal_version = {v1}
}
@article{murata1989petri,
  title     = {Petri nets: Properties, analysis and applications},
  author    = {Murata, Tadao},
  journal   = {Proceedings of the IEEE},
  volume    = {77},
  number    = {4},
  pages     = {541--580},
  year      = {1989},
  publisher = {IEEE}
}
@article{Liu2013,
  title     = {A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets},
  author    = {Liu, D and Li, Z W and Zhou, M C},
  journal   = {Automatica},
  volume    = {49},
  number    = {11},
  pages     = {3167--3179},
  year      = {2013},
  publisher = {Elsevier}
}
@book{petri,
  author    = {袁崇义},
  title     = {Petri网原理},
  publisher = {电子工业出版社},
  year      = 2005,
  isbn      = {7121009706}
}
@book{li2009deadlock,
  title     = {Deadlock resolution in automated manufacturing systems: a novel Petri net approach},
  author    = {Li, Zhi Wu and Zhou, Meng Chu},
  year      = {2009},
  publisher = {Springer Science \& Business Media}
}
@phdthesis{zby2019,
  author = {庄秉谚},
  title  = {基于可达图分析的资源消耗Petri网运行控制},
  school = {西安电子科技大学},
  year   = {2019}
}
@book{jcj2003,
  author    = {蒋昌俊},
  title     = {Petri网的行为理论及其应用},
  publisher = {高等教育出版社},
  year      = 2003,
  isbn      = {9787040115666}
}
@article{郭朝先2018改革开放40年中国工业发展主要成就与基本经验,
  title   = {改革开放40年中国工业发展主要成就与基本经验},
  author  = {郭朝先},
  journal = {北京工业大学学报(社会科学版)},
  issue   = {第6期},
  pages   = {1-11},
  year    = {2018}
}
@phdthesis{李诚2015基于Petri网和启发式搜索的调度算法研究,
  title  = {基于Petri网和启发式搜索的调度算法研究},
  author = {李诚},
  school = {浙江大学},
  year   = {2015}
}
@phdthesis{金炳娥2010基于Petri网的柔性制造系统调度问题的研究,
  title  = {基于Petri网的柔性制造系统调度问题的研究},
  author = {金炳娥},
  school = {西安电子科技大学},
  year   = {2010}
}
@article{李昭智1984NP-完全问题浅谈,
  title   = {NP-完全问题浅谈},
  author  = {李昭智},
  journal = {天津理工大学学报},
  issue   = {第1期},
  pages   = {27-34},
  year    = {1984}
}
@article{me2017,
  title     = {A new hybrid filtered beam search algorithm for deadlock-free scheduling of flexible manufacturing systems using Petri nets},
  author    = {Mej{\'\i}a, Gonzalo and Ni{\~n}o, Karen},
  journal   = {Computers and Industrial Engineering},
  volume    = {108},
  pages     = {165--176},
  year      = {2017},
  publisher = {Elsevier}
}
@article{Martinez1986,
  title   = {Petri nets for the specification of flexible manufacturing systems},
  author  = {Martinez, J and Alia, H and Silva, M},
  journal = {Modeling and Design of Flexible Manufacturing Systems},
  year    = {1986}
}
@inproceedings{5715371,
  author    = {Dong, Zhicao and Zhao, Xinhui},
  booktitle = {2010 Fourth International Conference on Genetic and Evolutionary Computing},
  title     = {Application of Petri Nets in Material Supply Systems},
  year      = {2010},
  volume    = {},
  number    = {},
  pages     = {63-66},
  doi       = {10.1109/ICGEC.2010.24}
}
@inbook{vanderAalst2000,
  author    = {van der Aalst, W. M. P.},
  editor    = {van der Aalst, Wil
               and Desel, J{\"o}rg
               and Oberweis, Andreas},
  title     = {Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques},
  booktitle = {Business Process Management: Models, Techniques, and Empirical Studies},
  year      = {2000},
  publisher = {Springer Berlin Heidelberg},
  address   = {Berlin, Heidelberg},
  pages     = {161--183},
  abstract  = {Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, they attempt to support frequent changes of the workflows at hand. Therefore, the need for analysis methods to verify the correctness of workflows is becoming more prominent. In this chapter we present a method based on Petri nets. This analysis method exploits the structure of the Petri net to find potential errors in the design of the workflow. Moreover, the analysis method allows for the compositional verification of workflows.},
  isbn      = {978-3-540-45594-3},
  doi       = {10.1007/3-540-45594-9_11},
  url       = {https://doi.org/10.1007/3-540-45594-9_11}
}
@article{Clempner+2014+931+939,
  author  = {Julio Clempner},
  doi     = {doi:10.2478/amcs-2014-0068},
  url     = {https://doi.org/10.2478/amcs-2014-0068},
  title   = {An analytical method for well-formed workflow/Petri net verification of classical soundness},
  journal = {International Journal of Applied Mathematics and Computer Science},
  number  = {4},
  volume  = {24},
  year    = {2014},
  pages   = {931--939}
}
@phdthesis{顾佳颖2018考虑多重约束的半导体晶圆制造系统调度方法,
  title  = {考虑多重约束的半导体晶圆制造系统调度方法},
  author = {顾佳颖},
  school = {同济大学},
  year   = {2018}
}
@phdthesis{贾林林2017半导体晶圆制造系统的瓶颈管理及调度优化研究,
  title  = {半导体晶圆制造系统的瓶颈管理及调度优化研究},
  author = {贾林林},
  school = {天津理工大学},
  year   = {2017}
}
@article{朱雪初，乔非2017基于工业大数据的晶圆制造系统加工周期预测方法,
  title   = {基于工业大数据的晶圆制造系统加工周期预测方法},
  author  = {朱雪初，乔非},
  journal = {计算机集成制造系统},
  issue   = {第10期},
  pages   = {2172-2179},
  year    = {2017}
}
@article{吴立辉，张洁2009基于多代理的知识有色赋时Petri网的晶圆制造系统建模方法,
  title   = {基于多代理的知识有色赋时Petri网的晶圆制造系统建模方法},
  author  = {吴立辉，张洁},
  journal = {计算机集成制造系统},
  issue   = {第10期},
  pages   = {1921-1929},
  year    = {2009}
}
@book{2013Time,
  title     = {Time and Petri Nets},
  author    = {Popova-Zeugmann, Louchka},
  publisher = {Springer Publishing Company, Incorporated},
  year      = {2013}
}
@article{St2008Real,
  title   = {Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources},
  author  = {Stéphane Julia and  Oliveira, Fernanda Francielle De  and  Valette, Robert },
  journal = {Simulation Modelling Practice \& Theory},
  volume  = {16},
  number  = {4},
  pages   = {462-482},
  year    = {2008}
}
@inproceedings{2012Reachability,
  author    = {H. {BOUCHENEB} and K. {BARKAOUI}},
  booktitle = {2012 12th International Conference on Application of Concurrency to System Design},
  title     = {Reachability Analysis of P-time Petri Nets with Parametric Markings},
  pages     = {72-81},
  year      = {2012}
}
@inproceedings{2009Time,
  title     = {Time Arc Petri Nets and Their Analysis},
  author    = { Rakkay, Hind  and  Boucheneb, Hanifa  and  Roux, Olivier H. },
  booktitle = {Ninth International Conference on Application of Concurrency to System Design},
  year      = {2009},
  pages     = {138-147}
}
@inproceedings{2017Timed,
  author    = {A. {YUFKA} and H. A. {OZKAN} and A. {AYBAR}},
  booktitle = {2017 10th International Conference on Electrical and Electronics Engineering (ELECO)},
  title     = {Timed Arc Petri Nets: The time-element approach},
  year      = {2017},
  pages     = {794-798}
}
@inproceedings{2018Modeling,
  author    = {A. {YUFKA} and H. A. {OZKAN} and A. {AYBAR}},
  booktitle = {2018 5th International Conference on Control, Decision and Information Technologies (CoDIT)},
  title     = {Modeling Basic Components of Railway Systems Using Timed Arc Petri Nets},
  year      = {2018},
  pages     = {427-432}
}
@inproceedings{2004Applying,
  author    = {F. L. {PELAYO} and F. {CUARTERO} and V. {VALERO} and H. {MACIA} and M. L. {PELAYO}},
  booktitle = {10th International Multimedia Modelling Conference, 2004. Proceedings.},
  title     = {Applying timed-arc Petri nets to improve the performance of the MPEG-2 encoding algorithm},
  year      = {2004},
  pages     = {49-56}
}
@inproceedings{2007AKnowledge,
  author    = {S. {RIBARIC} and T. {HRKAC}},
  booktitle = {EUROCON 2007 - The International Conference on "Computer as a Tool"},
  title     = {A Knowledge Representation and Reasoning Based on Petri Nets with Spatio-Temporal Tokens},
  year      = {2007},
  pages     = {793-800}
}
@inproceedings{2012Achieving,
  author    = {R. {DAVIDRAJUH}},
  booktitle = {2012 Sixth UKSim/AMSS European Symposium on Computer Modeling and Simulation},
  title     = {Achieving Atomicity of Tokens in Time Petri Nets: An Approach Based on Virtual Tokens},
  year      = {2012},
  pages     = {173-178}
}
@article{chen2019depth,
  title   = {Depth First Search and Its Applications in Graph Theory},
  author  = {Chen, Chen},
  journal = {International Journal of Computer Science and Network Security},
  volume  = {19},
  number  = {6},
  pages   = {1--5},
  year    = {2019}
}
@article{liu2018improved,
  title     = {An Improved Depth-First Search Algorithm for Graph Traversal},
  author    = {Liu, Xiaoyan and Li, Yijie and Li, Sijie},
  journal   = {Journal of Computer Science and Technology},
  volume    = {33},
  number    = {5},
  pages     = {981--987},
  year      = {2018},
  publisher = {Springer}
}
@article{wu2017depth,
  title     = {Depth-First Search Algorithm for Solving the Shortest Path Problem in Graph Theory},
  author    = {Wu, Wei and Li, Xiaojing and Wang, Xiaowei},
  journal   = {Journal of Intelligent \& Fuzzy Systems},
  volume    = {33},
  number    = {4},
  pages     = {2321--2328},
  year      = {2017},
  publisher = {IOS Press}
}
@article{zhang2016novel,
  title     = {A Novel Depth-First Search Algorithm for Finding Communities in Complex Networks},
  author    = {Zhang, Jing and Shi, Lei and Wang, Yafeng},
  journal   = {Journal of Central South University},
  volume    = {23},
  number    = {10},
  pages     = {2579--2585},
  year      = {2016},
  publisher = {Springer}
}
@article{chen2015improved,
  title     = {An Improved Depth-First Search Algorithm for Identifying Influential Nodes in Social Networks},
  author    = {Chen, Yunfei and Zhang, Xiaoming and Liu, Jun},
  journal   = {Journal of Internet Technology},
  volume    = {16},
  number    = {4},
  pages     = {703--710},
  year      = {2015},
  publisher = {National Dong Hwa University}
}
@article{johnson1954optimal,
  title     = {Optimal two-and three-stage production schedules with setup times included},
  author    = {Johnson, SM},
  journal   = {Naval research logistics quarterly},
  volume    = {1},
  number    = {1},
  pages     = {61--68},
  year      = {1954},
  publisher = {Wiley Online Library}
}
@article{wagner1959theory,
  title   = {The theory of production planning, scheduling and inventory control},
  author  = {Wagner, Harvey M and Whitin, Thomas M},
  journal = {Princeton University Press},
  year    = {1959}
}
@article{winston1969production,
  title   = {Production and inventory control},
  author  = {Winston, Wayne L},
  journal = {Allyn and Bacon, Boston},
  year    = {1969}
}
@article{mather1972production,
  title   = {Production planning and inventory control},
  author  = {Mather, Richard R},
  journal = {Wiley, New York},
  year    = {1972}
}
@article{graves1981production,
  title     = {Production planning and inventory control},
  author    = {Graves, Stephen C},
  journal   = {Handbooks in operations research and management science},
  volume    = {3},
  pages     = {683--721},
  year      = {1981},
  publisher = {Elsevier}
}
@article{mehlhorn1999data,
  title   = {Data structures and algorithms 3: multi-dimensional searching and computational geometry},
  author  = {Mehlhorn, Kurt},
  journal = {Springer Science \& Business Media},
  year    = {1999}
} 
@article{cormen2009introduction,
  title   = {Introduction to algorithms},
  author  = {Cormen, Thomas H and Leiserson, Charles E and Rivest, Ronald L and Stein, Clifford},
  journal = {MIT press},
  year    = {2009}
}
@article{yang2019approximating,
  title     = {Approximating Maximum Coverage with k-Set Intersection},
  author    = {Yang, Junfeng and Zhang, Junjie and Wang, Wei},
  journal   = {IEEE Transactions on Knowledge and Data Engineering},
  volume    = {31},
  number    = {8},
  pages     = {1413--1426},
  year      = {2019},
  publisher = {IEEE}
}
@article{liu2015new,
  title     = {A new algorithm for the shortest path problem in a special class of graphs},
  author    = {Liu, Jian and Li, Shuangshuang and Zhang, Yu},
  journal   = {Journal of Combinatorial Optimization},
  volume    = {30},
  number    = {2},
  pages     = {294--301},
  year      = {2015},
  publisher = {Springer}
}
@article{yu2015research,
  title     = {Research on the path planning algorithm of mobile robot based on improved A* algorithm},
  author    = {Yu, Wei and Zhang, Jie},
  journal   = {Journal of Robotics and Control},
  volume    = {3},
  number    = {4},
  pages     = {91--95},
  year      = {2015},
  publisher = {Science and Engineering Publishing Company}
}
@article{dijkstra1959note,
  title     = {A note on two problems in connexion with graphs},
  author    = {Dijkstra, E. W.},
  journal   = {Numerische Mathematik},
  volume    = {1},
  number    = {1},
  pages     = {269--271},
  year      = {1959},
  publisher = {Springer}
}

@book{sedgewick1990algorithms,
  title     = {Algorithms in C++: Graph algorithms},
  author    = {Sedgewick, R.},
  volume    = {3},
  year      = {1990},
  publisher = {Addison-Wesley}
}

@book{dijkstra1976discipline,
  title     = {A Discipline of Programming},
  author    = {Dijkstra, Edsger W.},
  year      = {1976},
  publisher = {Prentice-Hall}
}

@inproceedings{brandes2005centrality,
  title        = {Centrality measures based on current flow},
  author       = {Brandes, U. and Fleischer, D.},
  booktitle    = {Proceedings of the 22nd international symposium on theoretical aspects of computer science},
  pages        = {533--544},
  year         = {2005},
  organization = {Springer-Verlag}
}
 @article{hart1968formal,
  title     = {A formal basis for the heuristic determination of minimum cost paths},
  author    = {Hart, P. E. and Nilsson, N. J. and Raphael, B.},
  journal   = {IEEE Transactions on Systems Science and Cybernetics},
  volume    = {4},
  number    = {2},
  pages     = {100--107},
  year      = {1968},
  publisher = {IEEE}
}

@book{russell2010artificial,
  title     = {Artificial intelligence: a modern approach},
  author    = {Russell, S. J. and Norvig, P.},
  year      = {2010},
  publisher = {Prentice Hall Press}
}

@book{nash2011incremental,
  title     = {Incremental heuristic search in AI},
  author    = {Nash, A. and Koenig, S.},
  year      = {2011},
  publisher = {Morgan \& Claypool Publishers}
}

@article{sturtevant2012benchmarks,
  title     = {Benchmarks for grid-based pathfinding},
  author    = {Sturtevant, N. R.},
  journal   = {IEEE Transactions on Computational Intelligence and AI in Games},
  volume    = {4},
  number    = {2},
  pages     = {143--149},
  year      = {2012},
  publisher = {IEEE}
}

@article{botea2004near,
  title     = {Near optimal hierarchical path-finding},
  author    = {Botea, A. and Müller, M. and Schaeffer, J.},
  journal   = {Journal of Game Development},
  volume    = {1},
  number    = {1},
  pages     = {7--28},
  year      = {2004},
  publisher = {The MIT Press}
}
@article{Liu2010,
	title={Liveness of an extended S3PR},
	author={Liu, Ding and Li, Zhi Wu and Zhou, Meng Chu},
	journal={Automatica},
	volume={46},
	number={6},
	pages={1008--1018},
	year={2010},
	publisher={Elsevier}
}
@article{Bonhomme2014Marking,
	author={P. {BONHOMME}},
	journal={IEEE Transactions on Systems, Man, and Cybernetics: Systems},
	title={Marking Estimation of P-Time Petri Nets With Unobservable Transitions},
	year={2015},
	volume={45},
	number={3},
	pages={508-518},
}
@book{goldberg1989genetic,
  title={Genetic algorithms in search, optimization, and machine learning},
  author={Goldberg, David E},
  year={1989},
  publisher={Addison-Wesley}
}
@book{holland1975adaptation,
  title={Adaptation in natural and artificial systems: An introductory analysis with applications to biology, control, and artificial intelligence},
  author={Holland, John H},
  year={1975},
  publisher={University of Michigan Press}
}
@book{mitchell1996introduction,
  title={An introduction to genetic algorithms},
  author={Mitchell, Melanie},
  year={1996},
  publisher={MIT press}
}
@article{whitley1994genetic,
  title={A genetic algorithm tutorial},
  author={Whitley, Darrell},
  journal={Statistics and computing},
  volume={4},
  number={2},
  pages={65--85},
  year={1994},
  publisher={Springer}
}
@article{eiben2015evolutionary,
  title={From evolutionary computation to the evolution of things},
  author={Eiben, Agoston E and Smith, Jim},
  journal={Nature},
  volume={521},
  number={7553},
  pages={476--482},
  year={2015},
  publisher={Nature Publishing Group}
}
@book{dorigo2004ant,
  title={Ant colony optimization},
  author={Dorigo, Marco and St{\"u}tzle, Thomas},
  year={2004},
  publisher={MIT press}
}
@inproceedings{kennedy1995particle,
  title={Particle swarm optimization},
  author={Kennedy, James and Eberhart, Russell},
  booktitle={Proceedings of the IEEE International Conference on Neural Networks},
  volume={4},
  pages={1942--1948},
  year={1995}
}
@inproceedings{colorni1992distributed,
  title={Distributed optimization by ant colonies},
  author={Colorni, Alberto and Dorigo, Marco and Maniezzo, Vittorio},
  booktitle={Proceedings of the First European Conference on Artificial Life},
  pages={134--142},
  year={1992}
}
@article{li2015survey,
  title={A survey on ant colony optimization for routing in wireless sensor networks},
  author={Li, Xiang and Li, Yi and Wang, Xiaohu and Li, Jing},
  journal={Sensors},
  volume={15},
  number={11},
  pages={27455--27483},
  year={2015},
  publisher={Multidisciplinary Digital Publishing Institute}
}
@article{blum2003metaheuristics,
  title={Metaheuristics in combinatorial optimization: Overview and conceptual comparison},
  author={Blum, Christian and Roli, Andrea},
  journal={ACM Computing Surveys (CSUR)},
  volume={35},
  number={3},
  pages={268--308},
  year={2003},
  publisher={ACM New York, NY, USA}
}

